531 research outputs found

    Beta alanine effects immediately pre- and post hatch on chick quality, carcass yield and meat quality in broilers

    Get PDF
    First, this study aimed to evaluate the effects on hatchability of in ovo supplementation of beta alanine (βA). Second, it assessed the effects on performance, meat quality and serum constituents of broiler chickens of βA injection in ovo and of supplementation with βA in feed for the first seven days after hatching. For this purpose, 960 fertilized broiler chicken eggs were distributed to hatchery trays in four treatment groups with six replicates on day 17 of incubation. The treatment groups consisted of eggs that were not injected (T1; negative control), injected with sterile solution with 0.9% salt (T2; positive control), injected with in ovo 1% βA solution (T3), and not injected, but with chicks were fed 1% βA for the first seven days after hatching (T4). Upon hatching, chicks from T1, T2, and T3 were fed commercial starter feed. All treatments were assessed with six replicates of 28 birds (14 females and 14 males) throughout the grow-out period. As a result of this study, T3 increased hatchability, yolk-free hatching weight and chick quality, and decreased yolk weight and feed access time at hatch. Both T3 and T4 improved carcass yield and meat quality, and T3 increased serum total antioxidant status at 42 days afer hatching. The results demonstrated that in ovo βA feeding improved hatching characteristics, and βA administration in ovo or in feed improved carcass yield and meat quality without affecting growth performance

    Verifying procedural programs via constrained rewriting induction

    Get PDF
    This paper aims to develop a verification method for procedural programs via a transformation into Logically Constrained Term Rewriting Systems (LCTRSs). To this end, we extend transformation methods based on integer TRSs to handle arbitrary data types, global variables, function calls and arrays, as well as encode safety checks. Then we adapt existing rewriting induction methods to LCTRSs and propose a simple yet effective method to generalize equations. We show that we can automatically verify memory safety and prove correctness of realistic functions. Our approach proves equivalence between two implementations, so in contrast to other works, we do not require an explicit specification in a separate specification language

    Towards quality-aware predesign model

    Get PDF
    An approach to capturing the semantics of qualityrequirements into an intermediate predesign model is outlined. This approach combines Klagenfurt Conceptual Predesign and Aspectual Predesign techniques. Proposed extensions in corporate the hierarchy of quality characteristics into the predesign model and represent crosscutting relationships between the quality concerns and the main functionality of the system. Some directions of integration of the proposed model into quality-driven software process are discussed.У статті розглядаються основи підходу до збирання семантики вимог якості у проміжну предпроектну модель. Цей підхід є поєднанням технологій Клагенфуртського концептуального предпроектування та аспектного предпроектування. Запропоновані додатки дозволяють включити до моделі іерархію характеристик якості та подати наскрізні відношини між інтересами якості та основною функціональністю системи. Обговорені деякі напрямки інтеграції запропонованої моделі у процесс розробки програмного забезпечення, що керується якістю

    Cobertura florestal secundária em pequenas propriedades rurais na Amazônia: implicações para a agricultura de corte e queima.

    Get PDF
    bitstream/item/63242/1/Oriental-Doc51.pd

    Facial expressions of emotions during pharmacological and exercise stress testing:The role of myocardial ischemia and cardiac symptoms

    Get PDF
    Background  Negative emotions have been linked to ischemic heart disease, but existing research typically involves self-report methods and little is known about non-verbal facial emotion expression. The role of ischemia and anginal symptoms in emotion expression was examined.  Methods  Patients undergoing cardiac stress testing (CST) using bicycle exercise or adenosine with myocardial perfusion imaging were included (N = 256, mean age 66.8 +/- 8.7 year., 43% women). Video images and emotion expression (sadness, anxiety, anger, and happiness) were analyzed at baseline, initial CST , maximal CST, recovery. Nuclear images were evaluated using SPECT.  Results  Ischemia (N = 89; 35%) was associated with higher levels of sadness (p = .017, d = 0.34) and lower happiness (p = .015, d = 0.30). During recovery, patients with both ischemia and anginal symptoms had the highest sadness expression (F (3,254) = 3.67, p = .013, eta(2) = 0.042) and the lowest happiness expression (F (3, 254) = 4.19, p = .006, eta(2) = .048).  Conclusion  Sadness and reduced happiness were more common in patients with ischemia. Also, anginal symptoms were associated with more negative emotions

    Personality factors and cognitive functioning in patients with somatic symptom and related disorders

    Get PDF
    Objective Somatic symptom and related disorders (SSRD) are often complicated by cognitive symptoms, including reduced information processing speed, memory, and planning. Depression has been related to poor cognitive functioning in SSRD, but the role of underlying personality factors is poorly understood. This study investigates the association between personality factors (neuroticism, extraversion, openness, agreeableness, and conscientiousness) with cognitive functioning in patients with SSRD. Methods Data from 366 patients with SSRD from a tertiary care expert center (mean age = 42.1 years (SD = 13.4), 59.6% women) were analyzed using a cross-sectional design. Neuropsychological assessments included measures of information processing speed, memory, attention, and executive function. Personality factors were assessed using the NEO-FFI and depressive symptoms using the PHQ-9. Results Regression analyses showed associations between neuroticism with poorer performance on visual memory (B = −0.09, SE = 0.04, β = −0.14, p = .019), and planning (B = −0.09. SE = 0.02, β = −0.23, p < .001). Extraversion was also inversely associated with visual memory (B = −0.13, SE = 0.05, β = −0.18, p = .011) and planning (B = −0.07, SE = 0.03, β = −0.17, p = .021) and openness was associated with better visual memory (B = 0.17, SE = 0.05, β = 0.19, p = .002). These associations were attenuated but remained significant after adjusting for depressive symptoms. Conclusion Neuroticism, extraversion, and low openness were associated with lower cognitive functioning (particularly planning and visual memory) in patients with SSRD, which remained significant after taking depressive symptoms into account
    corecore